top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000
Descrizione fisica XIX, 338 p. : ill. ; 24 cm.
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 978-01-985004-8-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0021138
Cori, René  
Oxford, : Oxford University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000
Descrizione fisica XIX, 338 p. : ill. ; 24 cm
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 978-01-985004-8-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0021138
Cori, René  
Oxford, : Oxford University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2001
Descrizione fisica XX, 331 p. : ill. ; 24 cm.
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]
ISBN 978-01-985005-0-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0021140
Cori, René  
Oxford, : Oxford University, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2001
Descrizione fisica XX, 331 p. : ill. ; 24 cm
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]
ISBN 978-01-985005-0-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0021140
Cori, René  
Oxford, : Oxford University, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996
Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996
Autore Larrazabal Jesus M
Edizione [1st ed.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , 1998
Descrizione fisica 1 online resource (266 pages)
Altri autori (Persone) LascarDaniel
MintsGrigori
AsherNicholas
Collana Lecture Notes in Logic
ISBN 3-662-22110-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Lecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 -- Logic Colloquium '96 -- Copyright -- Preface -- Table of contents -- The Logical Foundations of Discourse Interpretation -- Complete Sets and Structure in Subrecursive Classes -- Kernels and cohomology groups for some finite covers -- On "star" schemata of Kossak and Paris -- Arithmetizing proofs in analysis -- Satisfaction classes and automorphisms of models of PA -- Free monoid completeness of the Lambek calculus allowing empty premises -- Simple groups definable in O-minimal structures -- Two-Dimensional Temporal Logic -- Rather Classless, Highly Saturated Models of Peano Arithmetic -- Incompleteness theorems and Si2 versus Si2+1.
Altri titoli varianti Logic Colloquium' 96
Record Nr. UNISA-996210818703316
Larrazabal Jesus M  
Berlin, Heidelberg : , : Springer, , 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996
Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996
Autore Larrazabal Jesus M
Edizione [1st ed.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , 1998
Descrizione fisica 1 online resource (266 pages)
Altri autori (Persone) LascarDaniel
MintsGrigori
AsherNicholas
Collana Lecture Notes in Logic
ISBN 3-662-22110-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Lecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 -- Logic Colloquium '96 -- Copyright -- Preface -- Table of contents -- The Logical Foundations of Discourse Interpretation -- Complete Sets and Structure in Subrecursive Classes -- Kernels and cohomology groups for some finite covers -- On "star" schemata of Kossak and Paris -- Arithmetizing proofs in analysis -- Satisfaction classes and automorphisms of models of PA -- Free monoid completeness of the Lambek calculus allowing empty premises -- Simple groups definable in O-minimal structures -- Two-Dimensional Temporal Logic -- Rather Classless, Highly Saturated Models of Peano Arithmetic -- Incompleteness theorems and Si2 versus Si2+1.
Altri titoli varianti Logic Colloquium' 96
Record Nr. UNINA-9910744597903321
Larrazabal Jesus M  
Berlin, Heidelberg : , : Springer, , 1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford : Oxford University, 2000-2001
Descrizione fisica volumi ; 24 cm.
Altri autori (Persone) Lascar, Daniel
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0021135
Cori, René  
Oxford : Oxford University, 2000-2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000-2001
Descrizione fisica 2 volumi ; 24 cm
Altri autori (Persone) Lascar, Daniel
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0021135
Cori, René  
Oxford, : Oxford University, 2000-2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Stability in Model Theory / Daniel Lascar
Stability in Model Theory / Daniel Lascar
Autore Lascar, Daniel
Pubbl/distr/stampa Harlow (UK) : Longman, 1987
Descrizione fisica 193 p. ; 24 cm
Disciplina 511.8
Collana Pitman monographs and surveys in pure and applied mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001321800403321
Lascar, Daniel  
Harlow (UK) : Longman, 1987
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Stability in model theory / Daniel Lascar ; transl. J. E. Wallington
Stability in model theory / Daniel Lascar ; transl. J. E. Wallington
Autore Lascar, Daniel
Pubbl/distr/stampa Harlow : Longman, 1987
Descrizione fisica 193 p. ; 24 cm.
Disciplina 511.8
Altri autori (Persone) Wallington, J. E.
Collana Pitman monographs and surveys in pure and applied mathematics, ISSN 02693666 ; 36
Soggetto topico Model theory
Stability
ISBN 0582994632
Classificazione AMS 03C
AMS 03C05
QA9.7.L3713
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991001369179707536
Lascar, Daniel  
Harlow : Longman, 1987
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui